KONFERENZ UNTERNEHMENSSTEUERUNG 2017 MEHR WETTBEWERBSFÄHIGKEIT DURCH INNOVATION 31. Mai 2017, Zurich Marriott Hotel, Zürich

Source URL: www.fuw.ch

Reisen zum Jahreswechsel  Reisehochschule Zürich Der Schweizer Spezialist für Kultur- und Studienreisen

Source URL: www.rhzreisen.ch

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computer memory
• Computing
• Circular buffer
• Abstract interpretation
• Thread
• Data buffer
• Futures and promises

Privacy Statement Version 2 of 25 May 2018 This privacy statement provides information regarding the collection and further processing of personal data by NET-Metrix AG, Bachmattstrasse 53, Zurich, Switzerland (“NET-Me

Source URL: www.net-metrix.ch

• Data security
• Data protection
• Law
• Information governance
• Terms of service
• Internet privacy
• Information privacy
• Data retention
• General Data Protection Regulation
• Privacy
• HTTP cookie

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Network theory
• Mathematics
• Edsger W. Dijkstra
• Shortest path problem
• Routing
• Reachability
• Computing
• Discrete mathematics
• Network architecture

PRESS RELEASE Zürich, August 2018 Partnership between Thryve and healthbank intelligent mHealth solution for the detection of health risks Thryve is driving forward the individualisation of health care

Source URL: www.healthbank.coop

• Health
• Mobile computers
• Health informatics
• Technology
• Humancomputer interaction
• Telehealth
• Fashion accessories
• Wearable devices
• MHealth
• Health data
• Wearable computer
• Health care

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Source URL: nsg.ee.ethz.ch

• Computing
• Information and communications technology
• Network architecture
• Internet architecture
• Internet Standards
• Routing protocols
• Computer networking
• Network protocols
• Computer network
• Network switch
• Port mirroring
• NetFlow

Annual Report 2017 EFG International is a global private banking group offering private banking and asset management services and is headquartered in Zurich. Its registered shares (EFGN) are

Source URL: ky.efgbank.com

• Banks
• Finance
• Financial services
• Investment banks
• Private banks
• EFG International
• Primary dealers
• UBS
• EFG Bank European Financial Group
• EFG
• International Financial Reporting Standards
• BTG Pactual

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich,

Source URL: nsg.ee.ethz.ch

• Electromagnetism
• Transistortransistor logic
• Topology
• Network topology
• Computer network
• Electrical engineering
• Electronics